-
1 пропозициональная связка
[lang name="Russian"]логическая функция; логическая связка — logical connective
Русско-английский научный словарь > пропозициональная связка
-
2 пропозициональная связка
логическая функция; логическая связка — logical connective
Русско-английский словарь по информационным технологиям > пропозициональная связка
-
3 пропозициональная связка
Русско-английский технический словарь > пропозициональная связка
-
4 пропозициональная связка
1) Mathematics: propositional connection, propositional connective, sentence connective, sentential connective2) Linguistics: interpropositional connectionУниверсальный русско-английский словарь > пропозициональная связка
-
5 пропозициональная связка
Русско-английский словарь по вычислительной технике и программированию > пропозициональная связка
-
6 пропозициональная связка
Русско-английский математический словарь > пропозициональная связка
-
7 пропозициональная связка
propositional connection мат., propositional connective, sentence connective, sentential connectiveРусско-английский научно-технический словарь Масловского > пропозициональная связка
-
8 унарная пропозициональная связка
Mathematics: unary propositional connectiveУниверсальный русско-английский словарь > унарная пропозициональная связка
-
9 унарная пропозициональная связка
Русско-английский научно-технический словарь Масловского > унарная пропозициональная связка
-
10 связка
1. ж. bundle2. ж. connectiveлогическая функция; логическая связка — logical connective
Синонимический ряд:вязка (сущ.) вязка -
11 связка
1) band
2) bunch
3) bundle
4) connective
5) <engin.> pack
6) roll
7) sheaf
8) star
9) truss
10) wad
– пропозициональная связка
– связка И
– связка ИЛИ
– связка многообразий
– связка плоскостей -
12 связка
f. sheaf, bundle, bunch, connective, band (semigroup theory), idempotent semigroup, tangle, net; пропозициональная связка, propositional connective -
13 связка
f. sheaf, bundle, bunch, connective, band ( semigroup theory), idempotent semigroup, tangle, net;
пропозициональная связка - propositional connective -
14 связка
f.sheaf, bundle, bunch, connective, band (semigroup theory), idempotent semigroup, tangle, net -
15 логическая связка
1. structural constant2. connectiveлогическая функция; логическая связка — logical connective
3. logical connectiveРусско-английский большой базовый словарь > логическая связка
-
16 металингвистическая связка
логическая функция; логическая связка — logical connective
Русско-английский большой базовый словарь > металингвистическая связка
-
17 булева связка
логическая функция; логическая связка — logical connective
-
18 пропозициональный
adj. prepositional, proposition; пропозициональная связка, propositional connectiveРусско-английский словарь математических терминов > пропозициональный
-
19 пропозициональный
* * *adj. prepositional, proposition;
пропозициональная связка - propositional connectiveРусско-английский математический словарь > пропозициональный
-
20 пропозициональный
См. также в других словарях:
пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… … Словарь терминов логики
ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА — символ формального языка, служащий для обозначения логической операции, с помощью к рой из данных высказываний можно получать новые высказывания. Важнейшими П. с. являются конъюнкция a (иначе ), дизъюнкция , импликация (иначе или ), отрицание… … Математическая энциклопедия
Логическая операция — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и … Википедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
отрицание — ОТРИЦАНИЕ (в логике) специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее О., свойства и роли которых существенно различаются. 1. Внешнее О. (пропозициональное) служит для образования… … Энциклопедия эпистемологии и философии науки
ОТРИЦАНИЕ. — ОТРИЦАНИЕ. 1. В естественном языке в зависимости от местоположения различают внешнее и внутреннее отрицание. Внешнее (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем… … Философская энциклопедия
Тильда — (исп. tilde, от лат. titulus надпись) знак (строчный, надстрочный или подстрочный) в виде волнистой чёрточки (Тильда) размера Дефиса пли Тире. В лингвистике может означать назальность гласного в транскрипции ( Ударение) (в греческом) или… … Большая советская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
Суждение — Суждение 1) смысл предложения, которое может быть оценено как истинное или ложное; то же, что пропозиция; 2) употребление предложения, выражающего суждение в 1‑м значении в утвердительном высказывании, когда оно реально приобретает истинностное… … Лингвистический энциклопедический словарь